graph theory:vertex set